Safety-centered process control design based on dynamic safe set
نویسندگان
چکیده
منابع مشابه
Safe Design Method of Embedded Control Systems based on COTS
In this paper, we propose an approach based on formal verification and discrete controller synthesis that are combined within a component-based design method. Formal verification finds design errors and provides counterexamples while the Discrete Controller Synthesis technique attempts to enforce previously verified specifications which do not hold. It automatically produces control code, which...
متن کاملEconomical-Statistical design of one- sided CCC-r control chart based on analytical hierarchy process
The cumulative count of a conforming (CCC) control chart is used for high quality processes.The CCC − r chart is an improvement of the CCC chart that is based on the cumulative number of items inspected until observing r non-conforming ones. This paper aims to propose a new approach for manufacturer’s decision making according to the criteria among the available options. The o...
متن کاملRequirements-Based Design Guidance: A Process-Centered Consistency Management Approach
In previous work, we have argued that constraints on the relationships between requirements elements and design elements can be used to guide designers in making design decisions. We have also argued the importance of controlling which constraints to apply, when to apply them, and what responses to take on constraint failure in order to make this guidance effective. Our suggestion, to control t...
متن کاملDistributed Process Management System Based on Object-Centered Process Modeling
Most of process-centered software engineering environments and those languages focus on how to produce the product. However, recent software development tend to require to focus on what should be made, because of emergence of various types of software developments; e.g., software reuse, component-based composition, and so on. To achieve this, we propose in this paper a new development environme...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Loss Prevention in the Process Industries
سال: 2020
ISSN: 0950-4230
DOI: 10.1016/j.jlp.2020.104126